#include <stdio.h>

typedef int tni;

int main(){
    tni a = 10;
    return 0;
}